Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
181	Construction of Universal Designated-Verifier Signatures and Identity-Based Signatures from Standard Signatures∗ Siamak F Shahandashti Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-05-05 21:04:21 Digital signature Group signature Proof of knowledge Designated verifier signature Zero-knowledge proof RSA Ring signature IP NP Cryptography Public-key cryptography Cryptographic protocols
182	On the Amortized Complexity of Zero-knowledge Protocols Ronald Cramer? , Ivan Damg˚ ard?? , and Marcel Keller? ? ? CWI/Leiden University, Aarhus University, and University of Bristol Abstract. We propose a general tech Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-09 09:29:46 IP Symbol Zero-knowledge proof Commitment scheme Sheaf Natural deduction Interactive proof system Cryptography Cryptographic protocols Proof of knowledge
183	A Note on Constant-Round Zero-Knowledge Proofs of Knowledge∗ Yehuda Lindell† September 24, 2012 Abstract In this note, we show the existence of constant-round computational zero-knowledge proofs of knowledge for all Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-09-24 15:21:39 Cryptographic protocols Proof of knowledge Interactive proof system Zero-knowledge proof IP Soundness Commitment scheme NP Non-interactive zero-knowledge proof Theoretical computer science Cryptography Applied mathematics
184	Resettably-Sound Resettable Zero Knowledge Arguments for NP ? Yi Deng State Key Laboratory of Information Security,Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-02-19 03:37:24 Proof theory Applied mathematics Proof of knowledge Deduction Zero-knowledge proof Complexity classes IP Soundness NP Cryptography Mathematics Cryptographic protocols
185	IHBC internal FINAL proof Add to Reading List Source URL: www.ihbc.org.uk Language: English - Date: 2015-05-05 11:03:59 Philosophy of biology Knowledge Science Conservation Biology Conservation biology
186	PCPリーフレット＿表面2 Add to Reading List Source URL: www.econ.keio.ac.jp Language: English - Date: 2010-03-18 07:02:09 Probabilistically checkable proof Law and economics Academia Science Knowledge Association of Pacific Rim Universities Keio University Minato Tokyo
187	Agassi, The Lakatosian Revolution 1 R. S. Cohen et al. (eds.), Essays in Memory of Imre LakatosJoseph Agassi Add to Reading List Source URL: www.tau.ac.il Language: English - Date: 2005-09-12 15:10:12 Science studies Philosophers of science Philosophers of mathematics Imre Lakatos Philosophy of mathematics Proofs and Refutations Scientific method Mathematical proof Function Science Mathematics Knowledge
188	Proceedings of the 2003 IEEE Symposium on Security and Privacy (SP’ $17.00 © 2003 IEEE Proceedings of the 2003 IEEE Symposium on Security and Privacy (SP’ $17.00 © 2003 IEEE Add to Reading List Source URL: hashcash.org Language: English - Date: 2005-01-15 19:23:58 Institute of Electrical and Electronics Engineers Engineering Measurement Technology Zero-knowledge password proof IEEE Reliability Society International nongovernmental organizations Standards organizations Professional associations
189	Proceedings of the 2003 IEEE Symposium on Security and Privacy (SP’ $17.00 © 2003 IEEE Proceedings of the 2003 IEEE Symposium on Security and Privacy (SP’ $17.00 © 2003 IEEE Add to Reading List Source URL: www.hashcash.org Language: English - Date: 2005-01-15 19:23:58 Institute of Electrical and Electronics Engineers Engineering Measurement Technology Zero-knowledge password proof IEEE Reliability Society International nongovernmental organizations Standards organizations Professional associations
190	Intro AI4FM project Models of “why” Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical proof Knowledge Rippling Formal methods Logic Automated theorem proving Mathematics Mathematical logic

UPDATE